]> dgit.raspbian.org Git - gnome-shell.git/commit
projects / gnome-shell.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 88ac08b) | patch
build: Pre-generate man pages at dist time
authorFlorian Müllner <fmuellner@gnome.org>
Tue, 15 Dec 2020 18:23:14 +0000 (19:23 +0100)
committerFlorian Müllner <fmuellner@gnome.org>
Mon, 28 Dec 2020 01:25:24 +0000 (02:25 +0100)
commit9ef9a5ff8a147c5ef90ffce86468f1ccf8f94a6e
tree4a748d1c83d1affd5c0c74dd49aa94c4b9e31c81tree | snapshot
parent88ac08b542f7e658061019b83522cc6bffba8105commit | diff
build: Pre-generate man pages at dist time

The man pages don't change very often, but draw in both docbook and
asciidoc. The latter is particularly problematic, as some distros
still ship only a python2 version of the tool.

Address this by generating the man pages at dist time, and including
the result in the tarball.

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1553>
meson.build diff | blob | history
meson/generate-manpages.py [new file with mode: 0644] blob
subprojects/extensions-tool/meson.build diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.